Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach

This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful toolsets coming from the formal verification area. At the high level, we use UPDM, the system model provided by the british army as well as a new type of contract based on behavioral patterns. At low level, we rely on a powerful simulation toolset combined with recent advances from the area of statistical model checking. The approach has been applied to a case study developed at EADS Innovation Works.Comment: In Proceedings AiSoS 2013, arXiv:1311.319

NON ASYMPTOTIC EFFICIENCY OF A MAXIMUM LIKELIHOOD ESTIMATOR AT FINITE NUMBER OF SAMPLES

International audienceIn estimation theory, the asymptotic (in the number of samples) efficiency of the Maximum Likelihood (ML) estimator is a well known result [1]. Nevertheless, in some scenarios, the number of snapshots may be small. We recently investigated the asymptotic behavior of the Stochastic ML (SML) estimator at high Signal to Noise Ratio (SNR) and finite number of samples [2] in the array processing framework: we proved the non-Gaussiannity of the SML estimator and we obtained the analytical expression of the variance for the single source case. In this paper, we generalize these results to multiple sources, and we obtain variance expressions which demonstrate the non-efficiency of SML estimates

Characterization of the Electromagnetic Susceptibility of Integrated Circuits using a Near Field Scan

2 pagesInternational audienceThe paper describes a susceptibility characterization test for integrated circuits using a miniature magnetic near field probe. The method is efficient up to a frequency of 6 GHz and maps immunity to radiated fields

Études comparatives, évolutives et recherche de gènes importants pour la détermination du sexe chez les mammifères

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

La fermeture de General Motors de Boisbriand : heurs et malheurs de l'industrie automobile au Québec

Notre mémoire porte sur la fermeture, en 2002, de la seule usine d'assemblage automobile de la province du Québec, à Boisbriand, par la compagnie General Motors. Nous situons ce cas dans un contexte de crise du modèle de régulation fordiste et dans le contexte particulier du modèle québécois. Nous sommes partis du principe que l'industrie automobile étant fortement intégrée, les impacts locaux de la fermeture de l'usine devaient être majeurs: effets directs, les emplois perdus, à l'usine, puis, en cascade, chez les sous-traitants qui avaient des contrats avec l'usine; puis indirects, sur la dynamique économique de la région et de la province, sur l'ensemble de la filière automobile du Québec. Enfin, d'un point de vue spécifiquement territorial, nous nous sommes interrogé sur la capacité du milieu de se restructurer après le départ d'un acteur productif majeur. Pour y arriver, nous avons réalisé une étude documentaire basée sur de nombreuses sources -radio, télévision, Internet, presse écrite -puis nous avons établi le système d'acteurs de la région étudiée. Ensuite, nous avons passé des entrevues avec certains de ces acteurs, qui nous ont permis de recueillir d'autant plus d'informations qu'ils provenaient de milieux institutionnels différents. Nos résultats nous ont surpris, et surprendront certainement le lecteur étranger au cas étudié. En fait, les impacts locaux de la fermeture de l'usine General Motors de Boisbriand sont minimes. Les emplois perdus (1300 licenciements) concernent, pour la plupart, des travailleurs proches de la retraite. Le réseau de sous-traitance automobile québécois était déjà en place avant la venue de GM dans la région, et n'a donc pas eu de problème grave à surmonter son départ. En fait, l'implantation de l'usine n'ayant pas eu d'effet structurant comme nous pouvions l'envisager avant l'étude du cas, la fermeture de Boisbriand pouvait difficilement avoir des effets déstructurants. Notre étude est, à notre connaissance, la première de ce type réalisée au Canada, et donc au Québec, et permet, pensons-nous, de mieux comprendre la spécificité québécoise et la réaction locale face à la mondialisation. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Stratégie, Développement, Local, Territorial, Post-fordisme, Modèle québécois

Unconditional maximum likelihood performance at finite number of samples and high signal-to-noise ratio

International audienceThis correspondence deals with the problem of estimating signal parameters using an array of sensors. In source localization, two main maximum-likelihood methods have been introduced: the conditional maximum-likelihood method which assumes the source signals nonrandom and the unconditional maximum-likelihood method which assumes the source signals random. Many theoretical investigations have been already conducted for the large samples statistical properties. This correspondence studies the behavior of unconditional maximum likelihood at high signal-to-noise ratio for finite samples. We first establish the equivalence between the unconditional and the conditional maximum-likelihood criterions at high signal-to-noise ratio. Then, thanks to this equivalence we prove the non-Gaussianity and the non-efficiency of the unconditional maximum-likelihood estimator. We also rediscover the closed-form expressions of the probability density function and of the variance of the estimates in the one source scenario and we derive a closed-form expression of this estimator variance in the two sources scenario

Non-efficacité et non-gaussianité asymptotiques d'un estimateur du maximum de vraisemblance à fort rapport signal sur bruit

National audienceEn théorie de l'estimation, dans le cas d'observations indépendantes de mêmes densités de probabilité, l'efficacité asymptotique en le nombre T d'observations de la méthode du Maximum de Vraisemblance (MV) est un résultat bien connu qui permet d'appréhender ses performances lorsque T est grand. Dans certaines situations, le nombre d'observations peut être faible et ce résultat ne s'applique plus. Dans le cadre du traitement d'antenne et d'une modélisation stochastique des signaux émis par les sources, nous remédions à cette lacune lorsque le Rapport Signal sur Bruit (RSB) est grand. Nous montrons que dans cette situation, l'estimateur du MV est asymptotiquement (en RSB) non-efficace et non-gaussien

Materializing the editing history of Wikipedia as linked data in DBpedia

International audienceWe describe a DBpedia extractor materializing the editing history of Wikipedia pages as linked data to support queries and indicators on the history